to prove root n is irrational